\begin{figure}[H]
\centering
\begin{subfigure}[b]{.4\textwidth}
\centering
\figscale{
\begin{tikzpicture}[%
    >=stealth,
    shorten >=1pt,
    node distance=2cm,
    on grid,
    auto,
    state/.append style={minimum size=2em},
    thick,
    scale=0.4
  ]
    \node[state, rectangle, align=center] (N1) {$A$\\$\textcolor{BrickRed}{EF(\textcolor{Blue}{\$D})}$};
    \node[state] (N2) at (-4, -4) {$B$};
    \node[state] (N3) at (4, -4) {$C$};
\node[state] (N4) at (0, -8) {$D$};

    \path[->, BrickRed]
              (N1) edge [loop right] node {$\textcolor{ForestGreen}{true}$} (N1)
              (N1) edge node [above left] {$\textcolor{ForestGreen}{true}$} (N2)
(N2) edge node [below left] {$\textcolor{Blue}{\$D}$} (N4);

    \path[->]
              (N1) edge node {} (N3)
(N3) edge node {} (N4);
  \end{tikzpicture}
}
\caption{Affichage \texttt{.dot}}
\end{subfigure}
\begin{subfigure}[b]{.4\textwidth}
\centering
\begin{minipage}{0.42\linewidth}
\begin{verbatim}
EF($D) = { 0 } {
  true = { 0 }
  true = { 1 }
  $D = { 2 }
}
\end{verbatim}
\end{minipage}
\caption{Affichage textuel}
\end{subfigure}
\caption{Preuve de $EF(\$D)$ pour l'état 0}
\label{fig:PreuveCheminEF}
\end{figure}